DROPS

Document

DOI: 10.4230/LIPIcs.ICLP.2012.334

Logic Programming in Tabular Allegories

Authors: Emilio Jesús Gallego Arias and James B. Lipton

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)

Abstract

We develop a compilation scheme and categorical abstract machine for execution of logic programs based on allegories, the categorical version of the calculus of relations. Operational and denotational semantics are developed using the same formalism, and query execution is performed using algebraic reasoning. Our work serves two purposes: achieving a formal model of a logic programming compiler and efficient runtime; building the base for incorporating features typical of functional programming in a declarative way, while maintaining 100% compatibility with existing Prolog programs.

Cite as

Emilio Jesús Gallego Arias and James B. Lipton. Logic Programming in Tabular Allegories. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 334-347, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{gallegoarias_et_al:LIPIcs.ICLP.2012.334,
  author =	{Gallego Arias, Emilio Jes\'{u}s and B. Lipton, James},
  title =	{{Logic Programming in Tabular Allegories}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{334--347},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.334},
  URN =		{urn:nbn:de:0030-drops-36345},
  doi =		{10.4230/LIPIcs.ICLP.2012.334},
  annote =	{Keywords: Category Theory, Logic Programming, Lawvere Categories, Programming Language Semantics, Declarative Programming}
}

Search Results

Documents authored by B. Lipton, James

Logic Programming in Tabular Allegories

Abstract

Cite as

Thanks for your feedback!

Could not send message